On the Construction of Live Timed Systems
نویسندگان
چکیده
We present a method that allows to guarantee liveness by construction of a class of timed systems. The method is based on the use of a set of structural properties which can be checked locally at low cost. We provide su cient conditions for liveness preservation by parallel composition and priority choice operators. The latter allow to restrict a system's behavior according to a given priority order on its actions. We present several examples illustrating the use of the results, in particular for the construction of live controllers.
منابع مشابه
Engineered and construction of pDS132::∆virG as suicide vector for targeted gene deletion of virG from Shigella flexneri 2a in order to generation a live attenuated Shigella vaccine
Background & Objective: Shigella are Gram negative bacteria capable of inducing their entry into non-phagocytic cells via secretion of various effector proteins called invasion plasmid antigens (Ipas). The most important of them is VirG protein. Live attenuated Shigella vaccines have indicated promise in inducing protective immune responses in human clinical trials. In current situation, const...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملA Petri-net based modeling tool, for analysis and evaluation of computer systems
Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملModeling a Bank ATM with Two Directions Places Timed Petri Net (TPN)
A Bank ATM is including controller, card authorization system and a teller unit .This paper explains howthis parts connects together. In this paper will be used of a new mode place in Petri nets. More systemsusually have a complex constructs. ATM will be simulated use of new mode place at this study. The Mainpart of this model is used of T.S.Staines model [1]. We discuss how a simple model of T...
متن کامل